A unification-based approach for knowledge base verification
نویسندگان
چکیده
منابع مشابه
Knowledge Base Verification
We describe a computer program that implements an algorithm to verify the consistency and completeness of knowledge bases built for the Lockheed expert system (LES) shell. The algorithms described here are not specific to this particular shell and can be applied to many rule-based systems. The computer program, which we call CHECK, combines logical principles as well as specific information abo...
متن کاملAn Evidence-Based Verification Approach to Extract Entities and Relations for Knowledge Base Population
This paper presents an approach to automatically extract entities and relationships from textual documents. The main goal is to populate a knowledge base that hosts this structured information about domain entities. The extracted entities and their expected relationships are verified using two evidence based techniques: classification and linking. This last process also enables the linking of o...
متن کاملA Related Entity based Approach for Knowledge Base Acceleration
In this paper we present the overview of our work in the TREC 2013 KBA Track. The goal is to find documents which may contribute to the update of knowledge base entries (e.g., Wikipedia or Freebase articles). Two tasks are introduced in this year’s track: (1) Cumulative Citation Recommendation (CCR), (2) Streaming Slot Filling (SSF). Particularly, we focus on the CCR task, follow our previous w...
متن کاملRule-base content verification using a digraph-based modelling approach
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors that might occur during consultation sessions with the rule-based system. In this paper we have described, formally, content verification of a specific type of rule-base using a digraph-based modelling approach. Throu...
متن کاملRetrieval-By-Unification Operation on a Relational Knowledge Base
This paper describes a method for retrieval-byunification (RBU) operations, especially unificationjoin, on a relational knowledge base. The relational knowledge base is a conceptual model for a knowledge base. In this model knowledge is represented by term relations. Terms in the term relations are retrieved with operation called RBUs (i.e., unification-join and unification-restriction). To per...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Expert Systems
سال: 1991
ISSN: 0266-4720,1468-0394
DOI: 10.1111/j.1468-0394.1991.tb00373.x